Fix handling of internal borders (Bug#16348).
authormartin rudalics <rudalics@gmx.at>
Sat, 11 Jan 2014 09:31:09 +0000 (10:31 +0100)
committermartin rudalics <rudalics@gmx.at>
Sat, 11 Jan 2014 09:31:09 +0000 (10:31 +0100)
commit75d16d929e5e3b6dc72ec34c62f0af96b54e44ed
tree8e359a2ea75a16ebe3af7dc7a9d2f2bdfc1a0621
parentefb3f0ff8f34ed3a5e366a1f73b76c1fd4cf93f7
Fix handling of internal borders (Bug#16348).

* dispnew.c (adjust_frame_glyphs_for_window_redisplay): Remove
internal border width from pixel width of windows.
(change_frame_size_1): Don't return early when frame's pixel
size changes - we still have to record the new sizes in the
frame structure.
* w32fns.c (x_set_tool_bar_lines): Clear internal border width
also when toolbar gets larger.
* window.c (check_frame_size): Include internal_border_width in
check.
* xdisp.c (Ftool_bar_height): Fix doc-string typo.
* xfns.c (x_set_menu_bar_lines, x_set_tool_bar_lines): In
non-toolkit/non-GTK version clear internal border.
* xterm.c (x_clear_under_internal_border): New function for
non-toolkit/non-GTK version.
(x_after_update_window_line): In non-toolkit/non-GTK version
don't do that.
(handle_one_xevent, x_set_window_size): Call
x_clear_under_internal_border in non-toolkit/non-GTK version.
* xterm.h (x_clear_under_internal_border): Extern it.
src/ChangeLog
src/dispnew.c
src/w32fns.c
src/window.c
src/xdisp.c
src/xfns.c
src/xterm.c
src/xterm.h